#include <stdlib.h>
#include <iostream>

#include "hfp_driver.h"
#include "BMTester.h"

int MINIBASE_RESTART_FLAG = 0;

int main(int argc, char **argv)
{
//   HfpDriver hd;
//   Status dbstatus;
//
//   dbstatus = hd.runTests();
//
//   // Check if the create database has succeeded
//   if (dbstatus != OK) {
//      cout << "Error encountered during hfpage tests: " << endl;
//      minibase_errors.show_errors();
//      return(1);
//   }
//
//   return(0);

   BMTester bmt;
   Status dbstatus;

   dbstatus = bmt.runTests();

   if (dbstatus != OK) {       
	  cout << "Error encountered during buffer manager tests: " << endl;
	  minibase_errors.show_errors();
	  return(1);
   }
   
   return(0);
}


